V. Vianu : rechercher sur Z-Library

Le plus grand référentiel d'articles scientifiques au monde. 70,000,000+ d'articles gratuitement.

Don't use scam websites

Livres
Articles (136)
Les plus populaires
Liste
- Liste
- Tableau

1

On the Unusual Effectiveness of Logic in Computer Science

Halpern, Joseph Y., Harper, Robert, Immerman, Neil, Kolaitis, Phokion G., Vardi, Moshe Y., Vianu, Victor

Journal:

Bulletin of Symbolic Logic

Année:

2001

Langue:

english

Fichier:

PDF, 2.10 MB

english, 2001

2

The Cowardly Coffin

Marin Sorescu, Adam J. Sorkin and Lidia Vianu

Journal:

The American Poetry Review

Année:

2001

Langue:

english

Fichier:

PDF, 445 KB

english, 2001

3

The Dragon

Marin Sorescu, Adam J. Sorkin and Lidia Vianu

Journal:

The American Poetry Review

Année:

2001

Langue:

english

Fichier:

PDF, 654 KB

english, 2001

4

Discourse Upon Europe's Reception Of An Eastern Country / The Fiancé's Hesitation / Letter To Vaclav Havel, Thrown Into The Waste Paper Basket / Right To Free Circulation / Drunk With Marx / The Prayer Of The Child Fallen Into A Bull

Dinescu, Mircea, Sorkin, Adam J., Vianu, Lidia

Journal:

Année:

2016

Langue:

english

Fichier:

PDF, 337 KB

english, 2016

5

Two Snails Stuck to My Cheeks

Visniec, Matei, Sorkin, Adam J., Vianu, Lidia

Journal:

The Massachusetts Review

Année:

2019

Fichier:

PDF, 294 KB

2019

6

Datalog extensions for database queries and updates

Serge Abiteboul, Victor Vianu

Journal:

Journal of Computer and System Sciences

Année:

1991

Langue:

english

Fichier:

PDF, 3.95 MB

english, 1991

7

Computing with infinitary logic

Serge Abiteboul, Moshe Y. Vardi, Victor Vianu

Journal:

Theoretical Computer Science

Année:

1995

Langue:

english

Fichier:

PDF, 1.82 MB

english, 1995

8

Specification and verification of data-driven Web applications

Alin Deutsch, Liying Sui, Victor Vianu

Journal:

Journal of Computer and System Sciences

Année:

2007

Langue:

english

Fichier:

PDF, 422 KB

english, 2007

9

Comparing workflow specification languages

Abiteboul, Serge, Bourhis, Pierre, Vianu, Victor

Journal:

ACM Transactions on Database Systems

Année:

2012

Langue:

english

Fichier:

PDF, 1.78 MB

english, 2012

10

[Lecture Notes in Computer Science] Advances in Computer Science – ASIAN 2005. Data Management on the Web Volume 3818 || Database and Information Retrieval Techniques for XML

Grumbach, Stéphane, Sui, Liying, Vianu, Victor

Année:

2005

Langue:

english

Fichier:

PDF, 198 KB

english, 2005

11

[IEEE Comput. Soc. Press [1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science - Pacific Grove, CA, USA (5-8 June 1989)] [1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science - Fixpoint extensions of first-order logic and datalog-like languages

Abiteboul, S., Vianu, V.

Année:

1989

Langue:

english

Fichier:

PDF, 775 KB

english, 1989

12

[IEEE Comput. Soc 16th Annual IEEE Symposium on Logic in Computer Science - Boston, MA, USA (16-19 June 2001)] Proceedings 16th Annual IEEE Symposium on Logic in Computer Science - Typechecking XML views of relational databases

Alon, N., Milo, T., Neven, F., Suciu, D., Vianu, V.

Année:

2001

Langue:

english

Fichier:

PDF, 1003 KB

english, 2001

13

[Lecture Notes in Computer Science] Database Theory — ICDT 2001 Volume 1973 || On the Surprising Behavior of Distance Metrics in High Dimensional Space

Van den Bussche, Jan, Vianu, Victor

Année:

2001

Langue:

english

Fichier:

PDF, 217 KB

english, 2001

14

Views and queries

Nash, Alan, Segoufin, Luc, Vianu, Victor

Journal:

ACM Transactions on Database Systems

Année:

2010

Langue:

english

Fichier:

PDF, 386 KB

english, 2010

15

Incremental validation of XML documents

Balmin, Andrey, Papakonstantinou, Yannis, Vianu, Victor

Journal:

ACM Transactions on Database Systems

Année:

2004

Langue:

english

Fichier:

PDF, 661 KB

english, 2004

16

[ACM Press the 32nd symposium - New York, New York, USA (2013.06.22-2013.06.27)] Proceedings of the 32nd symposium on Principles of database systems - PODS '13 - Collaborative data-driven workflows

Abiteboul, Serge, Vianu, Victor

Année:

2013

Langue:

english

Fichier:

PDF, 521 KB

english, 2013

17

The Ground

MARIN SORESCU, Adam J. Sorkin and Lidia Vianu

Journal:

The American Poetry Review

Année:

1991

Langue:

english

Fichier:

PDF, 365 KB

english, 1991

18

The Birds

Marin Sorescu, Adam J. Sorkin and Lidia Vianu

Journal:

The American Poetry Review

Année:

2001

Langue:

english

Fichier:

PDF, 449 KB

english, 2001

19

Questioning Shakespeare || Poetry in Desperate Times? An Interview with Lidia Vianu

RUTH O'CALLAGHAN and Lidia Vianu

Journal:

Critical Survey

Année:

2009

Langue:

english

Fichier:

PDF, 847 KB

english, 2009

20

Computing with First-Order Logic

S. Abiteboul, V. Vianu

Journal:

Journal of Computer and System Sciences

Année:

1995

Fichier:

PDF, 2.30 MB

1995

21

Tractable Query Languages for Complex Object Databases

S. Grumbach, V. Vianu

Journal:

Journal of Computer and System Sciences

Année:

1995

Fichier:

PDF, 1.51 MB

1995

22

Semantics and Expressiveness Issues in Active Databases

Philippe Picouet, Victor Vianu

Journal:

Journal of Computer and System Sciences

Année:

1998

Langue:

english

Fichier:

PDF, 607 KB

english, 1998

23

Topological Queries in Spatial Databases

CH. Papadimitriou, D. Suciu, V. Vianu

Journal:

Journal of Computer and System Sciences

Année:

1999

Langue:

english

Fichier:

PDF, 538 KB

english, 1999

24

Regular Path Queries with Constraints

Serge Abiteboul, Victor Vianu

Journal:

Journal of Computer and System Sciences

Année:

1999

Langue:

english

Fichier:

PDF, 310 KB

english, 1999

25

Querying Spatial Databases via Topological Invariants

Luc Segoufin, Victor Vianu

Journal:

Journal of Computer and System Sciences

Année:

2000

Langue:

english

Fichier:

PDF, 485 KB

english, 2000

26

Relational Transducers for Electronic Commerce

Serge Abiteboul, Victor Vianu, Brad Fordham, Yelena Yesha

Journal:

Journal of Computer and System Sciences

Année:

2000

Langue:

english

Fichier:

PDF, 322 KB

english, 2000

27

Procedural languages for database queries and updates

Serge Abiteboul, Victor Vianu

Journal:

Journal of Computer and System Sciences

Année:

1990

Langue:

english

Fichier:

PDF, 2.89 MB

english, 1990

28

Typechecking for XML transformers

Tova Milo, Dan Suciu, Victor Vianu

Journal:

Journal of Computer and System Sciences

Année:

2003

Langue:

english

Fichier:

PDF, 316 KB

english, 2003

29

XML with data values: typechecking revisited

Noga Alon, Tova Milo, Frank Neven, Dan Suciu, Victor Vianu

Journal:

Journal of Computer and System Sciences

Année:

2003

Langue:

english

Fichier:

PDF, 435 KB

english, 2003

30

Foreword

Jan Van den Bussche, Victor Vianu

Journal:

Theoretical Computer Science

Année:

2003

Langue:

english

Fichier:

PDF, 34 KB

english, 2003

31

A probabilistic view of Datalog parallelization

Sérgio Lifschitz, Victor Vianu

Journal:

Theoretical Computer Science

Année:

1998

Langue:

english

Fichier:

PDF, 2.08 MB

english, 1998

32

Queries and computation on the web

Serge Abiteboul, Victor Vianu

Journal:

Theoretical Computer Science

Année:

2000

Langue:

english

Fichier:

PDF, 162 KB

english, 2000

33

Database survivability under dynamic constraints

Journal:

Acta Informatica

Année:

1988

Langue:

english

Fichier:

PDF, 1.43 MB

english, 1988

34

Non-determinism in logic-based languages

Serge Abiteboul, Victor Vianu

Journal:

Annals of Mathematics and Artificial Intelligence

Année:

1991

Langue:

english

Fichier:

PDF, 2.08 MB

english, 1991

35

Static and dynamic aspects of goal-oriented concurrency control

Victor Vianu, Gottfried Vossen

Journal:

Annals of Mathematics and Artificial Intelligence

Année:

1993

Langue:

english

Fichier:

PDF, 1.80 MB

english, 1993

36

Parallel update transactions

Dino Karabeg, Victor Vianu

Journal:

Theoretical Computer Science

Année:

1990

Langue:

english

Fichier:

PDF, 2.66 MB

english, 1990

37

Conceptual level concurrency control of relational update transactions

Victor Vianu, Gottfried Vossen

Journal:

Theoretical Computer Science

Année:

1992

Langue:

english

Fichier:

PDF, 2.73 MB

english, 1992

38

Rule-based languages

Journal:

Annals of Mathematics and Artificial Intelligence

Année:

1997

Langue:

english

Fichier:

PDF, 341 KB

english, 1997

39

Reflective Relational Machines

Serge Abiteboul, Christos H Papadimitriou, V Vianu

Journal:

Information and Computation

Année:

1998

Langue:

english

Fichier:

PDF, 434 KB

english, 1998

40

[Lecture Notes in Computer Science] Database Theory — ICDT 2001 Volume 1973 || Constraint-Based Clustering in Large Databases

Van den Bussche, Jan, Vianu, Victor

Année:

2001

Langue:

english

Fichier:

PDF, 263 KB

english, 2001

41

[ACM Press the twenty-third annual ACM symposium - New Orleans, Louisiana, United States (1991.05.05-1991.05.08)] Proceedings of the twenty-third annual ACM symposium on Theory of computing - STOC '91 - Generic Computation and its complexity

Abiteboul, Serge, Vianu, Victor

Année:

1991

Langue:

english

Fichier:

PDF, 1.08 MB

english, 1991

42

Fixpoint logics, relational machines, and computational complexity

Abiteboul, Serge, Vardi, Moshe Y., Vianu, Victor

Journal:

Journal of the ACM

Année:

1997

Langue:

english

Fichier:

PDF, 557 KB

english, 1997

43

[ACM Press the twentieth ACM SIGMOD-SIGACT-SIGART symposium - Santa Barbara, California, United States (2001..-..)] Proceedings of the twentieth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems - PODS '01 - A Web Odyssey

Année:

2001

Langue:

english

Fichier:

PDF, 275 KB

english, 2001

44

In memory of Seymour Ginsburg 1928 - 2004

Abiteboul, S., Hull, R., Vianu, V.

Journal:

ACM SIGMOD Record

Année:

2005

Langue:

english

Fichier:

PDF, 1.18 MB

english, 2005

45

[Lecture Notes in Computer Science] Advances in Computer Science – ASIAN 2005. Data Management on the Web Volume 3818 || Multi-labeled Graph Matching – An algorithm Model for Schema Matching

Grumbach, Stéphane, Sui, Liying, Vianu, Victor

Année:

2005

Langue:

english

Fichier:

PDF, 249 KB

english, 2005

46

[IEEE Comput. Soc. Press Ninth Annual IEEE Symposium on Logic in Computer Science - Paris, France (4-7 July 1994)] Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science - The power of reflective relational machines

Abiteboul, S., Papadimitrou, C.H., Vianu, V.

Année:

1994

Langue:

english

Fichier:

PDF, 1.03 MB

english, 1994

47

[IEEE Comput. Soc. Press [1992] Seventh Annual Structure in Complexity Theory Conference - Boston, MA, USA (22-25 June 1992)] [1992] Proceedings of the Seventh Annual Structure in Complexity Theory Conference - Fixpoint logics, relational machines, and computational complexity

Abiteboul, S., Vardi, M.Y., Vianu, V.

Année:

1992

Langue:

english

Fichier:

PDF, 1.14 MB

english, 1992

48

[Lecture Notes in Computer Science] Database Theory — ICDT 2001 Volume 1973 ||

Van den Bussche, Jan, Vianu, Victor

Année:

2001

Langue:

english

Fichier:

PDF, 4.51 MB

english, 2001

49

[Lecture Notes in Computer Science] Database Theory — ICDT 2001 Volume 1973 || Orthogonal Range Queries in OLAP

Van den Bussche, Jan, Vianu, Victor

Année:

2001

Langue:

english

Fichier:

PDF, 188 KB

english, 2001

50

A transaction-based approach to relational database specification

Abiteboul, Serge, Vianu, Victor

Journal:

Journal of the ACM

Année:

1989

Langue:

english

Fichier:

PDF, 2.53 MB

english, 1989